Priorities Without Priorities: Representing Preemption in Psi-Calculi
نویسندگان
چکیده
منابع مشابه
Priorities Without Priorities: Representing Preemption in Psi-Calculi
Psi-calculi is a parametric framework for extensions of the pi-calculus with data terms and arbitrary logics. In this framework there is no direct way to represent action priorities, where an action can execute only if all other enabled actions have lower priority. We here demonstrate that the psi-calculi parameters can be chosen such that the effect of action priorities can be encoded. To acco...
متن کاملRepresenting Priorities in Logic Programs
Reasoning with priorities is a central topic in knowledge representation. A number of techniques for prioritized reasoning have been developed in the eld of AI, but existing logic programming lacks the mechanism of explicit representation of priorities in a program. In this paper, we introduce a framework for representing priorities in logic programming. Prioritized logic programming represents...
متن کاملRepresenting Priorities of Defaults in Possibility Theory
It is suggested by Yagerr5] that default knowledge can be represented in the framework of possibility theory. In this note, we show a potential application of the proposal. That is, the priorities of defaults can be encoded into the formalism naturally and the results produced by such encoded default theories reeect the strength of the conclusions.
متن کاملAssigning Priorities for Fixed Priority Preemption Threshold Scheduling
Preemption threshold scheduling (PTS) enhances real-time schedulability by controlling preemptiveness of tasks. This benefit of PTS highly depends on a proper algorithm that assigns each task feasible scheduling attributes, which are priority and preemption threshold. Due to the existence of an efficient optimal preemption threshold assignment algorithm that works with fully assigned priority o...
متن کاملGlobal health priorities – priorities of the wealthy?
Health has gained importance on the global agenda. It has become recognized in forums where it was once not addressed. In this article three issues are considered: global health policy actors, global health priorities and the means of addressing the identified health priorities. I argue that the arenas for global health policy-making have shifted from the public spheres towards arenas that incl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.160.2